⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Structural vs. Mathematical “Under” (2023)
dyalog.com·10h·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
On systematic construction of correct logic programs
arxiv.org·6h
⚖️Hoare Logic
Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
🔒Type Safety
busy beaver function
ncatlab.org·3d
🏗️Constructive Mathematics
FLINT: Fast Library for Number Theory
flintlib.org·16h
🧮Algebraic Datatypes
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·23h
🤝Paxos Consensus
Song recommendations with F# free monads
blog.ploeh.dk·1d
🔗Functional Compilers
Typeclassopedia
wiki.haskell.org·1d·
Discuss: Hacker News
🧬Functional Programming
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·3d·
Discuss: Hacker News
📐Interval Arithmetic
Teaching programming languages
kmjn.org·22h
💻Programming languages
Did GPT-5 Solve 'New Math'?
tech2geek.net·41m·
Discuss: Hacker News
🎯Performance Proofs
Two Dogmas of Empiricism
en.wikipedia.org·21h·
Discuss: Hacker News
💻Programming languages
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·6h
🎯Performance Proofs
k-NN Classification and Model Evaluation
dev.to·3h·
Discuss: DEV
🧠Machine Learning
Mini-Review: The Life and Times of the Cubic-Solving Guy
daveagp.wordpress.com·7h
🗝️Paleocryptography
How Many Paths of Length K Are There Between a and B?
horace.io·1d·
Discuss: Hacker News
🕸️Graph Algorithms
Generating C functions and prototypes using macros – part 2
subethasoftware.com·9h
🦀Rust Macros
Software convergence
underlap.org·4d
🔢Denotational Semantics
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Functional Compilers
The Lobster Programming Language
strlen.com·14h·
Discuss: Hacker News
🔗Concatenative Programming